Sistema formal

Sistema formal
Un sistema formal o un sistema axiomático es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas según reglas para producir otras cadenas. De esta manera, el sistema formal es capaz de representar cierto aspecto de la realidad. El objetivo de un sistema formal es señalar como válidas determinadas cadenas. Estas cadenas válidas se denominan teoremas. Para obtener los teoremas se emplean las reglas de producción que convierten una cadena en otra. Hay ciertos teoremas iniciales que no se obtienen de ninguna regla, éstos son los axiomas que se suponen válidos por definición y se convierten en el germen de produccion de teoremas.

Enciclopedia Universal. 2012.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Sistema formal — La noción de sistema formal se utiliza para proporcionar una definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema… …   Wikipedia Español

  • Sistema deductivo — Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) esta constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Tal sistema deductivo tiene como propósito… …   Wikipedia Español

  • Sistema multi-agente — Un sistema multiagente (SMA) es un sistema compuesto por múltiples agentes inteligentes que interactúan entre ellos. Los sistemas multiagente pueden ser utilizados para resolver problemas que son difíciles o imposibles de resolver para un agente… …   Wikipedia Español

  • Sistema de clasificación de la Marina Real Británica — Un diagrama contemporáneo que muestra barcos de primera y tercera clase. El sistema de clasificación de la Marina Real Británica y sus predecesores fue utilizado por la armada británcia desde comienzos del siglo VII hasta mediados del XIX con el… …   Wikipedia Español

  • formal, sistema — En lógica, lenguaje formal, en conjunto con un aparato deductivo, por medio del cual algunas fórmulas bien construidas pueden ser derivadas de otras. Cada sistema formal tiene un lenguaje formal compuesto de símbolos primarios que figuran en… …   Enciclopedia Universal

  • Sistema axiomático — En matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. Una teoría matemática es un sistema axiomático y, por tanto, todos los teoremas derivados de ellos. Un… …   Wikipedia Español

  • Sistema — (Del gr. systema.) ► sustantivo masculino 1 Conjunto ordenado de normas o procedimientos que contribuyen a un fin o con que funciona o se hace funcionar una cosa: ■ sistema político; sistema educativo. SINÓNIMO modelo norma 2 Conjunto organizado… …   Enciclopedia Universal

  • Sistema — Para otros usos de este término, véase Sistema (desambiguación). Un sistema (del latín systema, proveniente del griego σύστημα) es un objeto compuesto cuyos componentes se relacionan con al menos algún otro componente; puede ser material o… …   Wikipedia Español

  • Sistema de alerta temprana en conflictos armados — Un sistema de alerta temprana en conflictos armados es un instrumento de prevención de conflictos basado en la aplicación sistemática de procedimientos estandarizados de recogida, análisis y procesamiento de datos relativos a situaciones… …   Wikipedia Español

  • Sistema de información — (SI) es un conjunto de elementos orientados al tratamiento y administración de datos e información, organizados y listos para su posterior uso, generados para cubrir una necesidad (objetivo). Dichos elementos formarán parte de alguna de estas… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”